Residue Calculus and Effective Nullstellensatz
نویسندگان
چکیده
where h is the maximal size in the sense of Mahler of the pj . There does not seem to exist so far an Arithmetic Division Theory that could provide good estimates for the Faltings heights of the cycles corresponding to qj or for the maximal Mahler size of the qj . Nevertheless, using analytic methods based on the existence of integral representation formulas in Complex Analysis and multidimensional residues in C, one can show ([BY1], [BY2], [El], [BGVY, Section 5]) that the system (1.1) can be solved with the estimates
منابع مشابه
An analytic approach to Briançon-Skoda type theorems
The Briançon-Skoda theorem can be seen as an effective version of the Hilbert Nullstellensatz and gives a connection between size conditions on holomorphic functions and ideal membership. The size conditions are captured algebraically by the notion of integral closure of ideals. Many techniques have been applied to prove the Briançon-Skoda theorem and variations of it. The first proof by Brianç...
متن کاملThe Membership Problem for Polynomial Ideals in Terms of Residue Currents
We find a relation between the vanishing of a globally defined residue current on Pn and solution of the membership problem with control of the polynomial degrees. Several classical results appear as special cases, such as Max Nöther’s theorem, and we also obtain a generalization of that theorem. There are also connections to effective versions of the Nullstellensatz. We also provide explicit i...
متن کاملLower bounds on Nullstellensatz proofs via designs
The Nullstellensatz proof system is a proof system for propositional logic based on algebraic identities in fields. Prior work has proved lower bounds of the degree Nullstellensatz refutations using combinatorial constructions called designs. This paper surveys the use of designs for Nullstellensatz lower bounds. We give a new, more general definition of designs. We present an explicit construc...
متن کاملLinear Gaps Between Degrees for the Polynomial Calculus Modulo Distinct Primes (Abstract)
Two important algebraic proof systems are the Nullstellensatz system [1] and the polynomial calculus [2] (also called the Gröbner system). The Nullstellensatz system is a propositional proof system based on Hilbert’s Nullstellensatz, and the polynomial calculus (PC) is a proof system which allows derivations of polynomials, over some £eld. The complexity of a proof in these systems is measured ...
متن کاملAnalytic Residue Theory in the Non-complete Intersection Case
In previous work of the authors and their collaborators (see, e.g., Progress in Math. 114, Birkhäuser (1993)) it was shown how the equivalence of several constructions of residue currents associated to complete intersection families of (germs of) holomorphic functions in C could be profitably used to solve algebraic problems like effective versions of the Nullstellensatz. In this work, the auth...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005